Diclib.com
Словарь ChatGPT

Поиск в словаре Индивидуальные решения

Введите слово или словосочетание на любом языке 👆

Язык:

Перевод и анализ слов искусственным интеллектом ChatGPT

На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:

как употребляется слово
частота употребления
используется оно чаще в устной или письменной речи
варианты перевода слова
примеры употребления (несколько фраз с переводом)
этимология

design variables - перевод на русский

UK VIDEO GAME DEVELOPER

Design Design; Design design

Найдено результатов: 1191

design variables

строительное дело

расчётные переменные

design variables

расчётные переменные

unbound variable

$Tree summarizing the syntax of the expression <math>\forall x\, ((\exists y\, A(x)) \vee B(z)) </math>$

CLASSIFICATION OF VARIABLES IN A LOGIC FORMULA BASED ON WHETHER OR NOT THEY ARE INSIDE THE SCOPE OF A QUANTIFIER

Free variable; Bound variable; Variable binding operation; Variable-binding operation; Free variables; Bound variables; Unbound variable; Unbound variables; Variable-binding operator; Variable binding operator; Free and bound variables; Bound variable clash; Free and bound variable; Placeholder (computer programming); Free variables & bound variables; Free occurrence; Placeholder variable; Apparent variable

математика

несвязанная переменная

free variable

$Tree summarizing the syntax of the expression <math>\forall x\, ((\exists y\, A(x)) \vee B(z)) </math>$

CLASSIFICATION OF VARIABLES IN A LOGIC FORMULA BASED ON WHETHER OR NOT THEY ARE INSIDE THE SCOPE OF A QUANTIFIER

Free variable; Bound variable; Variable binding operation; Variable-binding operation; Free variables; Bound variables; Unbound variable; Unbound variables; Variable-binding operator; Variable binding operator; Free and bound variables; Bound variable clash; Free and bound variable; Placeholder (computer programming); Free variables & bound variables; Free occurrence; Placeholder variable; Apparent variable

математика

свободная переменная

apparent variable

$Tree summarizing the syntax of the expression <math>\forall x\, ((\exists y\, A(x)) \vee B(z)) </math>$

CLASSIFICATION OF VARIABLES IN A LOGIC FORMULA BASED ON WHETHER OR NOT THEY ARE INSIDE THE SCOPE OF A QUANTIFIER

Free variable; Bound variable; Variable binding operation; Variable-binding operation; Free variables; Bound variables; Unbound variable; Unbound variables; Variable-binding operator; Variable binding operator; Free and bound variables; Bound variable clash; Free and bound variable; Placeholder (computer programming); Free variables & bound variables; Free occurrence; Placeholder variable; Apparent variable

логика

кажущаяся переменная

связанная переменная

bound variable

$Tree summarizing the syntax of the expression <math>\forall x\, ((\exists y\, A(x)) \vee B(z)) </math>$

CLASSIFICATION OF VARIABLES IN A LOGIC FORMULA BASED ON WHETHER OR NOT THEY ARE INSIDE THE SCOPE OF A QUANTIFIER

Free variable; Bound variable; Variable binding operation; Variable-binding operation; Free variables; Bound variables; Unbound variable; Unbound variables; Variable-binding operator; Variable binding operator; Free and bound variables; Bound variable clash; Free and bound variable; Placeholder (computer programming); Free variables & bound variables; Free occurrence; Placeholder variable; Apparent variable

общая лексика

связанная переменная

free occurrence

$Tree summarizing the syntax of the expression <math>\forall x\, ((\exists y\, A(x)) \vee B(z)) </math>$

CLASSIFICATION OF VARIABLES IN A LOGIC FORMULA BASED ON WHETHER OR NOT THEY ARE INSIDE THE SCOPE OF A QUANTIFIER

Free variable; Bound variable; Variable binding operation; Variable-binding operation; Free variables; Bound variables; Unbound variable; Unbound variables; Variable-binding operator; Variable binding operator; Free and bound variables; Bound variable clash; Free and bound variable; Placeholder (computer programming); Free variables & bound variables; Free occurrence; Placeholder variable; Apparent variable

общая лексика

свободное вхождение

связанное

явное

free variable

$Tree summarizing the syntax of the expression <math>\forall x\, ((\exists y\, A(x)) \vee B(z)) </math>$

CLASSIFICATION OF VARIABLES IN A LOGIC FORMULA BASED ON WHETHER OR NOT THEY ARE INSIDE THE SCOPE OF A QUANTIFIER

Free variable; Bound variable; Variable binding operation; Variable-binding operation; Free variables; Bound variables; Unbound variable; Unbound variables; Variable-binding operator; Variable binding operator; Free and bound variables; Bound variable clash; Free and bound variable; Placeholder (computer programming); Free variables & bound variables; Free occurrence; Placeholder variable; Apparent variable

свободная переменная

work design

CORE FUNCTION OF HUMAN RESOURCE MANAGEMENT

Job design; Job Design; Work Design

строительное дело

разработка ППР

stage designer

CREATION OF THEATRICAL OR FILM SCENERY

Scenic designer; Set designer; Stage picture; Stage designer; Stage design; Set design; Scenic Design; Scene design; Stage designers; Scenic designers; Scénographe; Scenographe; Theatre designer; Set Design; Theatre design; Set designs; Stage/Set Design; Theater designer; Scenic designer (USA television industry); Scenic design (USA television industry)

театральный декоратор, театральный художник

Определение

free variable

1. A variable referred to in a function, which is not an argument of the function. In lambda-calculus, x is a {bound variable} in the term M = x . T, and a free variable of T. We say x is bound in M and free in T. If T contains a subterm x . U then x is rebound in this term. This nested, inner binding of x is said to "shadow" the outer binding. Occurrences of x in U are free occurrences of the new x. Variables bound at the top level of a program are technically free variables within the terms to which they are bound but are often treated specially because they can be compiled as fixed addresses. Similarly, an identifier bound to a recursive function is also technically a free variable within its own body but is treated specially. A closed term is one containing no free variables. See also closure, lambda lifting, scope. 2. In logic, a variable which is not quantified (see quantifier).

Показать больше определений

Википедия

Crystal Computing

Crystal Computing, later renamed Design Design, was a British video game developer founded in 1982 by Chris Clarke and Ian Stamp while students at the University of Manchester. Graham Stafford, Neil Mottershead, Simon Brattel and Martin Horsley, joined the company as it expanded. The company's first software release was a compilation of games for the Sinclair ZX81, though it was with the ZX Spectrum that Crystal found its greatest success. A deal with the machine's manufacturer Sinclair to distribute Crystal's Zeus Assembler gave the company sufficient funds for a major marketing campaign for their next product, Halls of the Things, an arcade adventure game that became their most successful title.

Clarke left in 1984 to join Artic Software, where he worked on the "business side", before collaborating with Jon Ritman on the Match Day series. With Clarke's departure the company was reorganised as Design Design, a trading name that had been used by Brattel since 1976 for his electronic audio designs. Design Design's core consisted of Stafford working mainly on titles for the Commodore 64, Brattel and Mottershead working on the ZX Spectrum and Amstrad CPC, and David Lewellyn, the company's administrator. According to Stafford the new name was part of a wider re-branding, as they wanted a more professional image, along with a better relationship with the press and the public.

Stafford went on to form developer Walking Circles producing titles including The Living Daylights and Spitting Image for Domark and the PC version of Bloodwych for Image Works.

https://en.wikipedia.org/wiki/Crystal Computing

Как переводится design variables на Русский язык